(load "satisfy.scm") ; loads the program
;Then you must load your testcase 
;NOTE: if you have loaded your testcase previously, our program may overwrite your test case
(satisfy test)